Resultaten visas 1 - 10 / 224
resultat / per sida
Vilka publikationsuppgifter finns i tjänsten?
Publikationens namn
Upphovspersoner
Publikationskanal
År
Publicationer information ikon

Predictive runtime enforcement

Referentgranskad
DOI
10.1007/s10703-017-0271-1
Pinisetty, Srinivas; Preoteasa, Viorel; Tripakis, Stavros; Jéron, Thierry; Falcone, Yliès; Marchand,...
Formal Methods in System Design2017Publicationer information ikon

Predictive runtime enforcement

Referentgranskad
DOI
10.1145/2851613.2851827
Pinisetty, Srinivas; Jéron, Thierry; Preoteasa, Viorel; Falcone, Yliès; Tripakis, Stavros; Marchand,...
ACM Symposium On Applied Computing
2016Publicationer information ikon

Runtime enforcement of cyber-physical systems

Referentgranskad
DOI
10.1145/3126500
Pinisetty, Srinivas; Roop, Partha S.; Smyth, Steven; Allen, Nathan; Tripakis, Stavros; Von Hanxleden...
ACM Transactions on Embedded Computing Systems2017Publicationer information ikon

Runtime enforcement of reactive systems using synchronous enforcers

Referentgranskad
Öppen tillgång
DOI
10.1145/3092282.3092291
Pinisetty, Srinivas; Roop, Partha; Smyth, Steven; Tripakis, Stavros; Hanxleden, Reinhard von
International Symposium on Model Checking Software2017Publicationer information ikon

Runtime enforcement of regular timed properties by suppressing and delaying events

Referentgranskad
DOI
10.1016/j.scico.2016.02.008
Falcone, Yliès; Jéron, Thierry; Marchand, Hervé; Pinisetty, Srinivas
Science of Computer Programming2016Publicationer information ikon

Compositional runtime enforcement

Referentgranskad
DOI
10.1007/978-3-319-40648-0_7
Pinisetty, Srinivas; Tripakis, Stavros
Lecture Notes in Computer Science2016Publicationer information ikon

Predictive runtime verification of timed properties

Referentgranskad
DOI
10.1016/j.jss.2017.06.060
Pinisetty, Srinivas; Jéron, Thierry; Tripakis, Stavros; Falcone, Yliès; Marchand, Hervé; Preoteasa, ...
Journal of Systems and Software2017Publicationer information ikon

Automatic Speed Enforcement in Finland

Öörni, Risto
ITS International2010Publicationer information ikon

Enforcement of (Timed) Properties with Uncontrollable Events

Referentgranskad
Renard, Matthieu; Falcone, Yliès; Rollet, Antoine; Pinisetty, Srinivas; Jéron, Thierry; Marchand, He...
SPRINGER2015Publicationer information ikon

Prevention of environmental crime through enforcement—Finland and Sweden compared

Referentgranskad
DOI
DOI:10.1080/14043858.2014.1000649
Sahramäki, Iina; Korsell, Lars; Kankaanranta, Terhi
Journal of scandinavian studies in criminology and crime prevention2015

Predictive runtime enforcement

Referentgranskad
DOI
10.1007/s10703-017-0271-1
2017

Predictive runtime enforcement

Referentgranskad
DOI
10.1145/2851613.2851827
2016

Runtime enforcement of cyber-physical systems

Referentgranskad
DOI
10.1145/3126500
2017

Runtime enforcement of reactive systems using synchronous enforcers

Referentgranskad
Öppen tillgång
DOI
10.1145/3092282.3092291
2017

Runtime enforcement of regular timed properties by suppressing and delaying events

Referentgranskad
DOI
10.1016/j.scico.2016.02.008
2016

Compositional runtime enforcement

Referentgranskad
DOI
10.1007/978-3-319-40648-0_7
2016

Predictive runtime verification of timed properties

Referentgranskad
DOI
10.1016/j.jss.2017.06.060
2017

Automatic Speed Enforcement in Finland

2010

Enforcement of (Timed) Properties with Uncontrollable Events

Referentgranskad
2015

Prevention of environmental crime through enforcement—Finland and Sweden compared

Referentgranskad
DOI
DOI:10.1080/14043858.2014.1000649
2015